T [1]; T [1]; T [1]; T [1]
z5; z5; z5; z5

A [1]; T [1]; T [1]; T [1]; T [1]
; z5; z5; z5; z5

A [1]; A [1]; A [1]; T [1]; T [1]; T [1]; T [1]
; ; z7; z5; z5; z5; z5

H [1]; H [1]; H [1]; H [1]
z1; z1; z1; z1

A [1]; H [1]; H [1]; H [1]; H [1]
; z3; z3; z3; z3

A [1]; A [1]; H [1]; H [1]; H [1]; H [1]
; ; z1; z1; z1; z1

A [1]; A [1]; A [1]; H [1]; H [1]; H [1]; H [1]
; ; z7; z1; z1; z1; z1

A [1]; A [1]; A [1]; A [1]; H [1]; H [1]; H [1]; H [1]
; ; z7; ; z3; z3; z3; z3

M [1]; M [1]; M [1]; M [1]
z2; z2; z2; z2

A [1]; M [1]; M [1]; M [1]; M [1]
; z4; z4; z4; z4

A [1]; A [1]; M [1]; M [1]; M [1]; M [1]
; ; z2; z2; z2; z2

A [1]; A [1]; A [1]; M [1]; M [1]; M [1]; M [1]
; ; z7; z2; z2; z2; z2

T [1]; M [1]; H [1]; T [1]; T [1]; T [1]; M [1]; T [1]; H [1]; H [1]; T [1]; M [1]
z5; z2; z1; z5; z5; z5; z2; z5; z1; z1; z5; z2

A [1]; T [1]; M [1]; H [1]; T [1]; T [1]; T [1]; M [1]; T [1]; H [1]; H [1]; T [1]; M [1]
; z5; z4; z3; z5; z5; z5; z4; z5; z3; z3; z5; z4

A [1]; T [1]; T [1]; M [1]; H [1]; T [1]; T [1]
; z5; z5; z4; z3; z5; z5

A [1]; A [1]; A [1]; A [1]; T [1]
; ; z7; ; z5

A [1]; A [1]; A [1]; A [1]; T [1]; T [1]; T [1]; T [1]
; ; z7; ; z5; z5; z5; z5

A [1]; A [1]; A [1]; A [1]; H [1]
; ; z7; ; z3

A [1]; A [1]; A [1]; A [1]; M [1]
; ; z7; ; z4

A [1]; A [1]; A [1]; A [1]; M [1]; M [1]; M [1]; M [1]
; ; z7; ; z4; z4; z4; z4

A [1]; A [1]; T [!x0 & !x1]; T [!x0 & !x1]; T [!x0 & !x1]
; ; z5; z5; z5

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]
; ; z5; z5, z6; z5, z7

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]
; ; z5; z5, z6

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; H [1]
; ; z5; z5, z6; z5, z7; z7; z1

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; M [1]
; ; z5; z5, z6; z5, z7; z7; z2

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; T [1]
; ; z5; z5, z6; z5, z7; z7; z5

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; H [1]
; ; z5; z5, z6; z5, z7; z1

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; M [1]
; ; z5; z5, z6; z5, z7; z2

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; T [!x0 & !x1]
; ; z5; z5, z6; z5, z7; z5

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; A [1]; H [1]
; ; z5; z5, z6; z5, z7; z7; ; z3

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; A [1]; M [1]
; ; z5; z5, z6; z5, z7; z7; ; z4

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; T [!x0 & x1]; A [1]; A [1]; T [1]
; ; z5; z5, z6; z5, z7; z7; ; z5

A [1]; A [1]; T [x0 & !x1]
; ; z5, z6

A [1]; A [1]; T [!x0 & x1]
; ; z5, z7

A [1]; A [1]; T [x0 & !x1]; T [!x0 & x1]
; ; z5, z6; z5, z7

A [1]; A [1]; T [!x0 & !x1]; T [x0 & !x1]; A [1]; A [1]; T [1]
; ; z5; z5, z6; z7; ; z5

A [1]; A [1]; T [!x0 & !x1]
; ; z5

A [1]; A [1]; T [!x0 & !x1]; M [1]; H [1]; T [!x0 & !x1]; T [!x0 & !x1]; T [!x0 & !x1]; M [1]; T [!x0 & !x1]; H [1]; H [1]; T [!x0 & !x1]; M [1]
; ; z5; z2; z1; z5; z5; z5; z2; z5; z1; z1; z5; z2
